An Environment for Designing/Executing Constraint Solver Collaborations
نویسندگان
چکیده
منابع مشابه
An Environment for Designing/Executing Constraint Solver Collaborations
Constraint logic programming is a paradigm based on the notion of constraints and mechanisms for their resolution. The new concept of solver collaboration enables to solve problems that cannot be tackled or efficiently soh, ed with a single solver. We propose BALI, an environment for designing/executing solver collaborations. BALI is a heterogeneous distributed collaborativc problem solving sys...
متن کاملAn Incremental Hierarchical Constraint Solver
This paper presents an incremental method to solve hierarchies of constraints over nite domains, which borrows techniques developed in intelligent backtracking, and nds locally-predicate-better solutions. A prototype implementation of this method, IHCS, was written in C and can be integrated with diierent programming environments. In particular, with Prolog producing an instance of an HCLP lang...
متن کاملIntegrating a Constraint Solver into a Real-Time Animation Environment
This article investigates the integration of an interactive constraint solver into an existing 2–D real–time animation environment in order to achieve a better observability, traceability, and stability of the individual graphical objects. We present two approaches for assigning constraints to the objects. The first approach assigns constraints to the objects when they are created keeping them ...
متن کاملApplications of an Extended Set Constraint Solver
1 {fa,pb}@di.fct.unl.pt Departamento de Informática, Universidade Nova de Lisboa 2825-114 Caparica — Portugal Abstract. In this paper we present some applications of a set constraint solver, Cardinal, that extends constraint solving to set variables with attached set functions and with special inferences over them. In particular, diagnosis of digital circuits and set covering problems are addre...
متن کاملAn Open-Ended Finite Domain Constraint Solver
We describe the design and implementation of a nite domain constraint solver embedded in a Prolog system using an extended uniication mechanism via attributed variables as a generic constraint interface. The solver is essentially a scheduler for indexicals, i.e. reactive functional rules encoding local consistency methods performing incre-mental constraint solving or entailment checking, and gl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1998
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80588-2